Necessary conditions for tractability of valued CSPs

نویسندگان

  • Johan Thapper
  • Stanislav Zivny
چکیده

The connection between constraint languages and clone theory has been a fruitful line of research on the complexity of constraint satisfaction problems. In a recent result, Cohen et al. [SICOMP’13] have characterised a Galois connection between valued constraint languages and so-called weighted clones. In this paper, we study the structure of weighted clones. We extend the results of Creed and Živný from [CP’11/SICOMP’13] and provide necessary conditions for tractability of weighted clones and thus valued constraint languages. We demonstrate that some of the necessary conditions are also sufficient for tractability, while others are provably not.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hybrid (V)CSPs and algebraic reductions

Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be stated as computing a homomorphism R → Γ between two relational structures, e.g. between two directed graphs. Analyzing its complexity has been a very fruitfull research direction, especially for fixed template CSPs (or, non-uniform CSPs) denoted CSP(Γ), in which ...

متن کامل

The complexity of general-valued CSPs seen from the other side

General-valued constraint satisfaction problems (VCSPs) are generalisations of CSPs dealing with homomorphisms between two valued structures. We study the complexity of structural restrictions for VCSPs, that is, restrictions defined by classes of admissible lefthand side valued structures. As our main result, we show that for VCSPs of bounded arity the only tractable structural restrictions ar...

متن کامل

Weighted composition operators between Lipschitz algebras of complex-valued bounded functions

‎In this paper‎, ‎we study weighted composition operators between Lipschitz algebras of complex-valued bounded functions on metric spaces‎, ‎not necessarily compact‎. ‎We give necessary and sufficient conditions for the injectivity and the surjectivity of these operators‎. ‎We also obtain sufficient and necessary conditions for a weighted composition operator between these spaces to be compact.

متن کامل

On Tractability and Hypertree Width

We investigate in this paper the notion of hypertree width as a parameter for bounding the complexity of CSPs, especially those whose constraints can be represented compactly, such as SAT problems. We first identify a simple condition which is necessary for hypertree width to provide better complexity bounds than treewidth. We then observe that SAT problems do not satisfy this condition and, he...

متن کامل

Hybrid tractability of constraint satisfaction problems with global constraints

A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed combinations of values, or intensionally, whether by an equation, propositional logic formula, or other means. Intensionally represented constraints, known as g...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • SIAM J. Discrete Math.

دوره 29  شماره 

صفحات  -

تاریخ انتشار 2015